bitkeeper revision 1.1236.1.181 (424d132aYORx7PllUl-nlTBMndGn4g)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 1 Apr 2005 09:23:54 +0000 (09:23 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 1 Apr 2005 09:23:54 +0000 (09:23 +0000)
commit00e8ef76050dfdbe9b94b31cae18f29cb3f2fb4a
tree6181005f61e3af4d399b40befbbe7cdee240a986
parent354e7e4b6ad36edaabef670e3dcffa96e978586a
bitkeeper revision 1.1236.1.181 (424d132aYORx7PllUl-nlTBMndGn4g)

Improved lazy state switching -- flush the state switch through on the
first flush IPI received. This avoids needing to receive any further
ones at little cost (needed to flush TLB anyway). The main extra cost
will be that, when switching back to a guest, we won't save the
ctxt switch. But we may have saved an unbounded number of IPI flushes.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/ia64/xenmisc.c
xen/arch/x86/domain.c
xen/arch/x86/mm.c
xen/arch/x86/smp.c
xen/include/xen/sched.h
xen/include/xen/smp.h